Checking Load
test/Interactive/Load.agda
